A Solvable Conjugacy Problem for Finitely Presented C(3) Semigroups
نویسنده
چکیده
In his thesis, Remmers [R], introduced semigroup derivation diagrams and used them to prove that the word problem for finitely presented C(3) semigroups was solvable. In this article we introduce the annular analog of semigroup derivation diagrams and use them to demonstrate the solution to a conjugacy problem for finitely presented C(3) semigroups. Version of 5-21-2013
منابع مشابه
M ay 2 00 4 Subgroups of finitely presented groups with solvable conjugacy problem
We prove that every countable group with solvable power problem embeds into a finitely presented 2-generated group with solvable power and conjugacy problems.
متن کاملSubgroups of Finitely Presented Groups with Solvable Conjugacy Problem
We prove that every countable group with solvable power problem embeds into a finitely presented 2-generated group with solvable power and conjugacy problems.
متن کاملThe Conjugacy Problem for Groups, and Higman Embeddings
For every finitely generated recursively presented group G we construct a finitely presented group H containing G such that G is (Frattini) embedded into H and the group H has solvable conjugacy problem if and only if G has solvable conjugacy problem. Moreover, G and H have the same r.e. Turing degrees of the conjugacy problem. This solves a problem by D.
متن کاملThe Conjugacy Problem and Higman Embeddings
For every finitely generated recursively presented group G we construct a finitely presented group H containing G such that G is (Frattini) embedded into H and the group H has solvable conjugacy problem if and only if G has solvable conjugacy problem. Moreover G and H have the same r.e. Turing degrees of the conjugacy problem. This solves a problem by D. Collins.
متن کاملConjugacy in Normal Subgroups of Hyperbolic Groups
Let N be a finitely generated normal subgroup of a Gromov hyperbolic group G. We establish criteria for N to have solvable conjugacy problem and be conjugacy separable in terms of the corresponding properties of G/N . We show that the hyperbolic group from F. Haglund’s and D. Wise’s version of Rips’s construction is hereditarily conjugacy separable. We then use this construction to produce firs...
متن کامل